Time-stamped Actions in pCRL Algebras

Centrum Voor Wiskunde En Informatica Time-stamped Actions in Algebras Time-stamped Actions in Pcrl Algebras

We present two extensions of pCRL with time-stamped actions: pCRL for absolute time and pCRLr for relative time. We deene timed bisimilarity for both versions and prove that the given axiomatisations are ground complete, provided that the data types have built-in equality and Skolem functions. We base the completeness proofs on the completeness results for untimed pCRL.

Some notes for topological centers on the duals of Banach algebras

We introduce  the weak topological centers of left and right module actions and we study some of their properties.  We investigate the relationship between these new concepts and the  topological centers of of left and right module actions with some results in the group algebras.

Reiter’s Properties for the Actions of Locally Compact Quantum Goups on von Neumann Algebras

Gorenstein global dimensions for Hopf algebra actions

Let $H$ be a Hopf algebra and $A$ an $H$-bimodule algebra‎. ‎In this paper‎, ‎we investigate Gorenstein global dimensions for Hopf‎ ‎algebras and twisted smash product algebras $Astar H$‎. ‎Results from‎ ‎the literature are generalized‎. 

On the topological centers of module actions

In this paper, we  study the Arens regularity properties of module actions. We investigate some properties of topological centers of module actions ${Z}^ell_{B^{**}}(A^{**})$ and  ${Z}^ell_{A^{**}}(B^{**})$ with some conclusions in group algebras.